Diclib.com
ChatGPT AI Dictionary

Dictionary Lookup Custom Solutions

Enter a word or phrase in any language 👆

Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

how the word is used
frequency of use
it is used more often in oral or written speech
word translation options
usage examples (several phrases with translation)
etymology

higher-order variation - translation to russian

FORM OF PREDICATE LOGIC THAT IS DISTINGUISHED FROM FIRST-ORDER LOGIC BY ADDITIONAL QUANTIFIERS AND, SOMETIMES, STRONGER SEMANTICS

Higher-order predicate; Higher order logic; Higher order logics; Ordered logic; Higher-order logics; High order logic; High-order logic; Order (logic); Semantics of higher-order logic

higher-order variation

математика

вариация высшего порядка

higher-order predicate

математика

предикат высшего порядка

variation

WIKIMEDIA DISAMBIGUATION PAGE

Variations; Varied; Varying; Variation (disambiguation); Viccitude; Variations (album); Variation (combinatorics); Variations (Combinatorics); Variation (Combinatorics)

[ve(ə)ri'eiʃ(ə)n]

общая лексика

вариация

изменчивость

изменение

вариационный

варьирование

колебание

колебательность

магнитное склонение

неравномерность

отклонение

разновидность

ход зависимости

нефтегазовая промышленность

отклонение (от номинальной величины)

Смотрите также

age variation; autogenous variation; balanced variation; brusque variation; bud variation; chance variation; continuous variation; cryptic variation; determinate variation; directional variation; discontinuous variation; discrete variation; ecological variation; environmental variation; food variations; genetic variation; geographic variation; group variation; homologous variation; host controlled variation; idiotypic variation; individual variation; interspecific variation; intrapopulation variation; intraspecific variation; local variation; phase variation; phenotypic variation; remaining variation; seasonal variation; sex-associated variation; somatic variation; somatogenic variation; stimulus parameter variation; absolute variation; admissible variation; amount of variation; aperiodic variation; batch variation; batch-to-batch variation; boundary variation; bounded variation; coefficient of variation; combined variation; component of variation; constant of variation; constrained variation; controllable variation; daily variation; day-to-day variation; direct variation; domain of variation; dominated variation; downward variation; explained variation; finite variation; first variation; fractional variation; free variation; generalized variation; gross variation; harmonic variation; higher-order variation; infinitesimal variation; intermittent variation; inverse variation; joint variation; law of variation; limited variation; limits of variation; long-period variation; lower variation; measure variation; mixed variation; n-parameter variation; needle-shaped variation; negative variation; net variation; nonlinear variation; nonperiodic variation; normal variation; one-sided variation; overall variation; pitch variation; plane variation; positive variation; quadratic variation; random variation; region of variation; regular variation; relative variation; saltatory variation; sampling variation; second variation; secular variation; short-period variation; significant variation; smooth variation; source of variation; strong variation; systematic variation; time variation; total variation; transient variation; type of variation; unbounded variation; uncontrolled variation; unexplained variation; unfree variation; upper variation; variation diminishing matrix; variation estimation; variation factor; variation interval; variation kernel; variation limiting matrix; variation measure; variation norm; variation of constants; variation of curve; variation of function; variation of functional; variation of parameters; variation of sign; variation range; weak variation; variations from plumb; variation in the magnitude; variation in the sense; variations in the shape; variation with time; variation of the bending moment along the length of the beam; variation of the project; color variations; diurnal variation; magnetic variation; probable variations in dead load during construction; stress variation; temperature variations; variation of reflection amplitude with angle of incidence; variation of reflection amplitude with offset; variation of reflection coefficient with angle of incidence; amplitude variation with offset; layer thickness variation; near-surface velocity variations; penetration rate variation; reliability variation; rock permeability variations; strength variation; weathering variation; weathering velocity variation; weight-on-bit variation

существительное

общая лексика

изменение

перемена

варьирование

колебание

разновидность

вариант

отклонение

изменение, перемена

склонение магнитной стрелки

специальный термин

вариация

физика

магнитное склонение

грамматика

флексия

биология

аберрация

генетическая изменчивость

мутация

Definition

variation

¦ noun

1. a change or slight difference in condition, amount, or level.

(also magnetic variation) the angular difference between true north and magnetic north at a particular place.

2. a different or distinct form or version.

Music a new but still recognizable version of a theme.

Ballet a solo dance as part of a performance.

Derivatives

variational adjective

Show more definitions

Wikipedia

Higher-order logic

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.

The term "higher-order logic", abbreviated as HOL, is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is the theory of simple types, also called the simple theory of types (see Type theory). Leon Chwistek and Frank P. Ramsey proposed this as a simplification of the complicated and clumsy ramified theory of types specified in the Principia Mathematica by Alfred North Whitehead and Bertrand Russell. Simple types is nowadays sometimes also meant to exclude polymorphic and dependent types.

https://en.wikipedia.org/wiki/Higher-order logic

What is the Russian for higher-order variation? Translation of &#39higher-order variation&#39 to Rus